Revising Hull and Box Consistency
نویسندگان
چکیده
Most interval-based solvers in the constraint logic programming framework are based on either hull consistency or box consistency (or a variation of these ones) to narrow domains of variables involved in continuous constraint systems. This paper first presents HC4, an algorithm to enforce hull consistency without decomposing complex constraints into primitives. Next, an extended definition for box consistency is given and the resulting consistency is shown to subsume hull consistency. Finally, BC4, a new algorithm to efficiently enforce box consistency is described, that replaces BC3—the “original” solely Newton-based algorithm to achieve box consistency—by an algorithm based on HC4 and BC3 taking care of the number of occurrences of each variable in a constraint. BC4 is then shown to significantly outperform both HC3 (the original algorithm enforcing hull consistency by decomposing constraints) and BC3.
منابع مشابه
Exploiting Monotonicity in Interval Constraint Propagation
We propose in this paper a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is standard, but the Mohc-Revise procedure, used to filter/contract the variable domains w.r.t. an individual constraint, uses monotonic versions of the classical HC4-Revise and BoxNarrow procedures. Mohc-Revise appears to b...
متن کاملExploitation de la monotonie des fonctions dans la propagation de contraintes sur intervalles
We propose a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is standard, but the Mohc-Revise procedure, used to filter/contract the variable domains w.r.t. an individual constraint, uses monotonic versions of the classical HC4Revise and BoxNarrow procedures. Mohc-Revise appears to be the first ada...
متن کاملAn Interval Constraint Propagation Algorithm Exploiting Monotonicity
When a function f is monotonic w.r.t. x in a given box, it is well-known that the monotonicity-based interval extension of f computes a sharper image than the natural interval extension does. Indeed, the overestimation due to the variable x with multiple occurrences in f disappears. However, monotonicity has not been exploited in interval filtering/contraction algorithms for solving systems of ...
متن کاملInvestigation of stepped planning hull hydrodynamics using computational fluid dynamics and response surface method
The use of step at the bottom of the hull is one of the effective factors in reducing the resistance and increasing the stability of the Planning hull. The presence of step at the bottom of this type of hulls creates a separation in the flow, which reduces the wet surface on the hull, thus reducing the drag on the body, as well as reducing the dynamic trim. In this study, a design space was cre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999